package sketch.issta11.specifyvalues;

import junit.framework.Test;
import junit.framework.TestCase;
import junit.framework.TestSuite;

public class SpecifyValuesTestAll extends TestCase {

	public static Test suite() {
        TestSuite suite = new TestSuite();
		suite.addTest(sketch.issta11.specifyvalues.ChooseOneValueTest.suite());
		suite.addTest(sketch.issta11.specifyvalues.ChooseExhaustValueTest.suite());
		suite.addTest(sketch.issta11.specifyvalues.ChooseSubsetValueTest.suite());
		suite.addTest(sketch.issta11.specifyvalues.RemoveSpecValueTest.suite());
		return suite;
	}
	
}
